Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
401	Automatic Solving of Problems stated in Natural Language Tore Amble Knowledge Systems Group Faculty of Electrical Engineering and Computer Science The Norwegian Institute of Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:36:03 Formal systems Model theory Propositional calculus Boolean algebra Modal logic Resolution Common knowledge Axiomatic system Constructible universe Logic Mathematical logic Mathematics
402	Hierarchical Automatic Function Definition in Genetic Programming John R. Koza Computer Science Department Stanford University Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:17:24 Abstract algebra Functions and mappings Propositional calculus Logic Circuit complexity Parity function Function Boolean data type Parity Mathematics Boolean algebra Mathematical analysis
403	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
404	Microsoft Word - LDLT2_Master_print.doc Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2010-11-29 08:43:56 Logic Boolean algebra Negation Propositional calculus Auxiliary verb Logic programming Conceptual model Grammar Linguistics Semantics
405	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:41:52 Mathematics Algebraic logic Boolean data type Logical disjunction FO Boolean algebras canonically defined Abstract algebra Boolean algebra Mathematical logic
406	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1.  Relations in BDDs 2.  Datalog -> Relational Algebra Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-01 03:58:39 Model checking Mathematics COMPASS/Sample Code Man or boy test Boolean algebra Diagrams Binary decision diagram
407	Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-12 10:11:50 Diagrams Formal methods Boolean algebra Binary decision diagram Model checking Model checkers NuSMV Satisfiability Modulo Theories Abstraction Mathematics Theoretical computer science Applied mathematics
408	Mem Cogn DOI[removed]s13421[removed]The consistency of disjunctive assertions P. N. Johnson-Laird & Max Lotstein & Ruth M. J. Byrne Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:15 Thought Reasoning Boolean algebra Logic Cognitive psychology Mental model Logical disjunction Assertion Existential quantification Science Ethology Mind
409	Exhaustification of Polish disjunctive questions Clemens Mayr & Karolina Zuchewicz Center for General Linguistics (ZAS) & Humboldt University Overview Evidence from Polish suggests that the polar question (PQ) and altern Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:34 Logic Propositional calculus Binary operations Mathematics If and only if Exclusive or Yes–no question Intonation Question Linguistics Grammar Boolean algebra
410	KMVQL: a Graphical User Interface for Boolean Query Specification and Query Result Visualization Jiwen Huo and William B. Cowan, University of Waterloo Introduction data source Add to Reading List Source URL: www.cgl.uwaterloo.ca Language: English - Date: 2015-02-04 18:02:54 Information science Computational science Query languages Boolean algebra Diagrams Karnaugh map Visualization SQL KMAP Computing Computer languages Science

UPDATE